Logic synthesis - PDFSEARCH.IO - Document Search Engine

Logic synthesis
Results: 291

#	Item
131	College of Business & Engineering Fall, 2014 EGEE320 Add to Reading List Source URL: www.lssu.edu Language: English - Date: 2014-08-24 20:50:21 Digital electronics Field-programmable gate array VHDL Electronic circuit design Combinational logic Logic gate Logic synthesis Electronic engineering Electronic design Design
132	NEC R S ERAR E SCEHAR E RC H I NETRE’ S Add to Reading List Source URL: www.nec.com Language: English - Date: 2013-10-21 08:30:36 Integrated circuits Logic design Logic synthesis Integrated circuit design Application-specific integrated circuit Hardware description language High-level synthesis CPU design Field-programmable gate array Electronic engineering Electronic design automation Electronic design
133	Automated Hardware Synthesis from Formal Specification using SAT solvers. David Greaves - Univ of Cambridge∗ / Tenison EDA 1 Input Design Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-04-15 12:29:23 Field-programmable gate array Logic synthesis Verilog Hardware description language High-level synthesis Solver Decoder Electronic engineering Electronic design automation Digital electronics
134	Tools for Quantum Circuit Synthesis Chelsea Voss 6.845, Quantum Complexity Theory Fall 2014 Motivation Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2014-12-25 20:29:36 Quantum circuit Quantum gate Quantum computer Qubit Logic gate Toffoli gate Circuit Computer Controlled NOT gate Theoretical computer science Quantum information science Applied mathematics
135	SYNTHESIS REPORT EVALUATION OF CIDA‟S REGIONAL INTER-AMERICAN PROGRAM[removed]TO[removed]Evaluation Directorate Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-07-21 03:57:06 Sociology Impact assessment Program evaluation Canadian International Development Agency Pan American Health Organization Capacity building International Development Research Centre Aid effectiveness Logic model Development Evaluation methods Evaluation
136	Xilinx Training Course Listing Effective October 1, 2014 ! E Add to Reading List Source URL: www.xilinx.com Language: English - Date: 2014-09-15 13:27:09 Reconfigurable computing Xilinx Field-programmable gate array MicroBlaze Logic synthesis Application-specific integrated circuit Soft microprocessor Embedded system CPU design Electronic engineering Electronics Digital electronics
137	C-based High Level Synthesis and Verification Tool Set for ASIC・FPGA C-based Design Enables Higher Design Efficiency, Lower Area and Higher Performance of Your Chip (compared to RTL-based design) Add to Reading List Source URL: www.nec.com Language: English - Date: 2012-12-26 01:09:09 Hardware verification languages Logic design SystemC High-level synthesis Logic synthesis VHDL Verilog Field-programmable gate array Logic simulation Electronic engineering Electronic design automation Hardware description languages
138	A Boolean Paradigm in Multi-Valued Logic Synthesis Alan Mishchenko Department of ECE Portland State University [removed] Abstract Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-17 15:32:32 Algebraic logic Electronic engineering Electronic design automation Diagrams Electronic design Binary decision diagram Logic synthesis Boolean satisfiability problem Boolean function Boolean algebra Mathematics Mathematical logic
139	Microsoft Word - speedup10.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-04-27 18:18:38 Digital electronics Electrical circuits Electronic design And-inverter graph Field-programmable gate array Static timing analysis Logic synthesis Propagation delay Retiming Electronic engineering Electronic design automation Formal methods
140	Efficient FPGA Mapping using Priority Cuts Sungmin Cho Satrajit Chatterjee Alan Mishchenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-03-13 15:19:16 Electronic design automation Field-programmable gate array Formal methods Electronic design Logic synthesis Combinational logic Retiming Application-specific integrated circuit Lookup table Electronic engineering Electronics Digital electronics

UPDATE